package mediator;

public class ConstantsModel {
	public static final String ICON_MAIN_WINDOWS = null;
	public static final String ICON_CANCELLATION_REGION = "/icon/cancellerCross.png";
	public static final String ICON_TAB_FLUENT = "/icon/accept.png";
	public static final String ICON_CURSOR_SELECTION = "/icon/pointer.png";
	public static final String ICON_CURSOR_ERASER = "/icon/eraser.png";
	public static final String ICON_CURSOR_SELECTION_ON = "/icon/pointerOn.png";
	public static final String ICON_CURSOR_SELECTION_OFF = "/icon/pointerOff.png";
	
	public static final String TURN_OFF_FLUENT = "Turn Off";
	public static final String TURN_ON_FLUENT = "Turn On";
	
	public static final String NORMAL_CURSOR = "/icon/pointerCursor.png";
	public static final String ON_CURSOR = "/icon/pointerOnCursor.png";
	public static final String OFF_CURSOR = "/icon/pointerOffCursor.png";
	public static final String ERASER_CURSOR = "/icon/eraserCursor.png";
	
	public static final String NORMAL_CURSOR_TYPE = "sellection";
	public static final String ON_CURSOR_TYPE = "sellectionOn";
	public static final String OFF_CURSOR_TYPE = "sellectionOff";
	public static final String ERASER_CURSOR_TYPE = "eraser";
	
	public static final int ACEPT_OPEN_PREPERTY_FILE = 0;
	
	public static final String CMD_JAVA = "java";
	public static final String CMD_JAR = "-jar";
	public static final String CMD_YAWL2FSP = "yawl2fsp.jar";
	public static final String CMD_INFO = "--info=";
	public static final String CMD_INFO_FILE = "/flwa2fsp_translation_info";
	public static final String CMD_OUTPUT_FILE = "/output.lts";
	
	public static final String LTSA_PROPERTY_TITLE = "LTSA Property verification";
	public static final int LTSA_PROPERTY_WIDTH = 700;
	public static final int LTSA_PROPERTY_HEIGHT = 500;
	public static final String TRACE_STRING = "Trace to terminal set of states:";
	public static final String END_TRACE_STRING = "Cycle in terminal set:";
	public static final CharSequence TRACE_STRING_1 = "Trace to property violation in";
	
}
